Search Results
[PurPL Fest] (Programming Languages) in Agda = Programming (Languages in Agda) - Philip Wadler
Philip Wadler - Plutus and Marlowe
A Profound Pun - 29 October 2019
Philip Wadler – Propositions as Types
CS410 2017 Lecture 1 (Programs and Proofs)
Interview with Philip Wadler in Lambda World 2016
Philip Wadler - Propositions as Types (Lambda Days 2016)
Depending on Types - Stephanie Weirich
State of SIGPLAN
Agda
![[PurPL Fest] (Programming Languages) in Agda = Programming (Languages in Agda) - Philip Wadler](https://img.youtube.com/vi/eKGbbKwdKb0/hqdefault.jpg)
